Buy Used and New Ulrich Kühne Books

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

by Ulrich Kühne, Rolf Drechsler

ISBN 13: 9783658099930

Format: Paperback (328 pages)
Publisher: Springer Vieweg
Published: 25 Jun 2015

Save for later